O-minimal Expansions of Real Closed Fields and Completeness in the Sense of Scott

نویسنده

  • OLIVIER FRÉCON
چکیده

We consider an o-minimal expansion M0 = (R0, <,+, · · · ) of a real closed field, and a real closed field R, complete in the sense of D. Scott, containing R0 as a dense subfield. We show that M0 has an elementary extension M = (R,<,+, · · · ) with domain R. Moreover, such a structure M with domain R is unique.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Dedekind cuts in polynomially bounded , O - minimal expansions of real closed fields Dissertation

O-minimal expansions of real closed fields Dissertation Zur Erlangung des Doktorgrades der Naturwissenschaften aus Regensburg 1996 Introduction We are concerned with o-minimal theories. The main result (the Box Theorem 17.3) is about polynomially bounded, o-minimal expansions T of real closed fields with archimedean prime model. In this Introduction, T always denotes such a theory-the reader ma...

متن کامل

On the real quadratic fields with certain continued fraction expansions and fundamental units

The purpose of this paper is to investigate the real quadratic number fields $Q(sqrt{d})$ which contain the specific form of the continued fractions expansions of integral basis element  where $dequiv 2,3( mod  4)$ is a square free positive integer. Besides, the present paper deals with determining the fundamental unit$$epsilon _{d}=left(t_d+u_dsqrt{d}right) 2left.right > 1$$and  $n_d$ and $m_d...

متن کامل

Extending O-minimal Fréchet Derivatives

We investigate several extension properties of Fréchet differentiable functions defined on closed sets for o-minimal expansions of real closed fields.

متن کامل

Saturated O-minimal Expansions of Real Closed Fields

In [KKMZ02] the authors gave a valuation theoretic characterization for a real closed field to be κ-saturated, for a cardinal κ ≥ א0. In this paper, we generalize the result, giving necessary and sufficient conditions for certain o-minimal expansion of a real closed field to be κ-saturated.

متن کامل

Weakly o-minimal nonvaluational structures

A weakly o-minimal structure M = (M,≤,+, . . .) expanding an ordered group (M,≤, +) is called non-valuational iff for every cut 〈C,D〉 of (M,≤) definable in M, we have that inf{y − x : x ∈ C, y ∈ D} = 0. The study of non-valuational weakly o-minimal expansions of real closed fields carried out in [MMS] suggests that this class is very close to the class of o-minimal expansions of real closed fie...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015